Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis

نویسندگان

  • Wil M. P. van der Aalst
  • Niels Lohmann
  • Marcello La Rosa
  • Jingxin Xu
چکیده

A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is subsequently used to handle individual cases, for instance, to process customer orders. Process configuration is notoriously difficult as there may be all kinds of interdependencies between configuration decisions. In fact, an incorrect configuration may lead to behavioral issues such as deadlocks and livelocks. To address this problem, we present a new verification approach inspired by the “operating guidelines” used for partner synthesis. We view the configuration process as an external service, and compute a characterization of all such services which meet particular requirements via the notion of configuration guideline. As a result, we can characterize all feasible configurations (i. e., configurations without behavioral problems) at design time, instead of repeatedly checking each individual configuration while configuring a process model.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Ensuring correctness during process configuration via partner synthesis

Variants of the same process can be encountered within one organization or across different organizations. For example, different municipalities, courts, and rental agencies all need to support highly similar processes. In fact, procurement and sales processes can be found in almost any organization. However, despite these similarities, there is also the need to allow for local variations in a ...

متن کامل

A Trust Based Probabilistic Method for Efficient Correctness Verification in Database Outsourcing

Correctness verification of query results is a significant challenge in database outsourcing. Most of the proposed approaches impose high overhead, which makes them impractical in real scenarios. Probabilistic approaches are proposed in order to reduce the computation overhead pertaining to the verification process. In this paper, we use the notion of trust as the basis of our probabilistic app...

متن کامل

AN EQUATION ORIENTED APPROACH TO STEADY STATE FLOWSHEETING OF METHANOL SYNTHESIS LOOP

 An equation-oriented approach was developed for steady state flowsheeting of a commercial methanol plant. The loop consists of fixed bed reactor, flash separator, preheater, coolers, and compressor. For steady sate flowsheeting of the plant mathematical model of reactor and other units are needed. Reactor used in loop is a Lurgi type and its configuration is rather complex. Previously reactor ...

متن کامل

Behavioral service substitution: analysis and synthesis

Service-oriented computing has emerged as an acknowledged paradigm for developing complex and non-monolithic systems of different kinds. The paradigm allows different organizations to aggregate several simple services to form a composition of communicating entities in the system. Naturally, services in such a system are subject to change and adaptation over time. Service-oriented computing prov...

متن کامل

Cost-optimizing compositions of services – analysis and synthesis

A complex service is a stateful implementation of a complex task, involving interaction with partner services via a well-defined interface. In this setting, several analysis and verification problems arise, such as discovery, substitutability, configuration, and adaptation. Partner synthesis is a solution strategy for these problems. Here, the task is to construct an optimal partner for a given...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010